1

Recursive Functionals and Quantifiers of Finite Types IIby S. C. Kleene

Year:
1971
Language:
english
File:
PDF, 235 KB
english, 1971
2

Derivatives of Composite Functions

Year:
1962
Language:
english
File:
PDF, 316 KB
english, 1962
4

Abstract First Order Computability.by Yiannis N. Moschovakis

Year:
1972
Language:
english
File:
PDF, 142 KB
english, 1972
5

Inductive Definitions and Computability

Year:
1971
Language:
english
File:
PDF, 1015 KB
english, 1971
6

Hierarchies Based on Objects of Finite Type

Year:
1969
Language:
english
File:
PDF, 560 KB
english, 1969
7

On Effectively Discontinuous Type-2 Objects

Year:
1971
Language:
english
File:
PDF, 486 KB
english, 1971
8

Disturbing arithmetic

Year:
1985
Language:
english
File:
PDF, 490 KB
english, 1985
9

Omitting Types: Application to Recursion Theory

Year:
1972
Language:
english
File:
PDF, 1.27 MB
english, 1972
12

Selection functions for recursive functionals.

Year:
1969
Language:
english
File:
PDF, 887 KB
english, 1969
13

Extensions of algebra homomorphisms.

Year:
1967
File:
PDF, 879 KB
1967
14

Classroom Notes

Year:
1962
Language:
english
File:
PDF, 563 KB
english, 1962